namespace Org.BouncyCastle.Pqc.Crypto.Falcon
{
    class FalconSmallPrimes
    {
        internal FalconSmallPrimes() {}
        internal FalconSmallPrime[] PRIMES = {
            new FalconSmallPrime( 2147473409,  383167813,      10239 ),
            new FalconSmallPrime( 2147389441,  211808905,  471403745 ),
            new FalconSmallPrime( 2147387393,   37672282, 1329335065 ),
            new FalconSmallPrime( 2147377153, 1977035326,  968223422 ),
            new FalconSmallPrime( 2147358721, 1067163706,  132460015 ),
            new FalconSmallPrime( 2147352577, 1606082042,  598693809 ),
            new FalconSmallPrime( 2147346433, 2033915641, 1056257184 ),
            new FalconSmallPrime( 2147338241, 1653770625,  421286710 ),
            new FalconSmallPrime( 2147309569,  631200819, 1111201074 ),
            new FalconSmallPrime( 2147297281, 2038364663, 1042003613 ),
            new FalconSmallPrime( 2147295233, 1962540515,   19440033 ),
            new FalconSmallPrime( 2147239937, 2100082663,  353296760 ),
            new FalconSmallPrime( 2147235841, 1991153006, 1703918027 ),
            new FalconSmallPrime( 2147217409,  516405114, 1258919613 ),
            new FalconSmallPrime( 2147205121,  409347988, 1089726929 ),
            new FalconSmallPrime( 2147196929,  927788991, 1946238668 ),
            new FalconSmallPrime( 2147178497, 1136922411, 1347028164 ),
            new FalconSmallPrime( 2147100673,  868626236,  701164723 ),
            new FalconSmallPrime( 2147082241, 1897279176,  617820870 ),
            new FalconSmallPrime( 2147074049, 1888819123,  158382189 ),
            new FalconSmallPrime( 2147051521,   25006327,  522758543 ),
            new FalconSmallPrime( 2147043329,  327546255,   37227845 ),
            new FalconSmallPrime( 2147039233,  766324424, 1133356428 ),
            new FalconSmallPrime( 2146988033, 1862817362,   73861329 ),
            new FalconSmallPrime( 2146963457,  404622040,  653019435 ),
            new FalconSmallPrime( 2146959361, 1936581214,  995143093 ),
            new FalconSmallPrime( 2146938881, 1559770096,  634921513 ),
            new FalconSmallPrime( 2146908161,  422623708, 1985060172 ),
            new FalconSmallPrime( 2146885633, 1751189170,  298238186 ),
            new FalconSmallPrime( 2146871297,  578919515,  291810829 ),
            new FalconSmallPrime( 2146846721, 1114060353,  915902322 ),
            new FalconSmallPrime( 2146834433, 2069565474,   47859524 ),
            new FalconSmallPrime( 2146818049, 1552824584,  646281055 ),
            new FalconSmallPrime( 2146775041, 1906267847, 1597832891 ),
            new FalconSmallPrime( 2146756609, 1847414714, 1228090888 ),
            new FalconSmallPrime( 2146744321, 1818792070, 1176377637 ),
            new FalconSmallPrime( 2146738177, 1118066398, 1054971214 ),
            new FalconSmallPrime( 2146736129,   52057278,  933422153 ),
            new FalconSmallPrime( 2146713601,  592259376, 1406621510 ),
            new FalconSmallPrime( 2146695169,  263161877, 1514178701 ),
            new FalconSmallPrime( 2146656257,  685363115,  384505091 ),
            new FalconSmallPrime( 2146650113,  927727032,  537575289 ),
            new FalconSmallPrime( 2146646017,   52575506, 1799464037 ),
            new FalconSmallPrime( 2146643969, 1276803876, 1348954416 ),
            new FalconSmallPrime( 2146603009,  814028633, 1521547704 ),
            new FalconSmallPrime( 2146572289, 1846678872, 1310832121 ),
            new FalconSmallPrime( 2146547713,  919368090, 1019041349 ),
            new FalconSmallPrime( 2146508801,  671847612,   38582496 ),
            new FalconSmallPrime( 2146492417,  283911680,  532424562 ),
            new FalconSmallPrime( 2146490369, 1780044827,  896447978 ),
            new FalconSmallPrime( 2146459649,  327980850, 1327906900 ),
            new FalconSmallPrime( 2146447361, 1310561493,  958645253 ),
            new FalconSmallPrime( 2146441217,  412148926,  287271128 ),
            new FalconSmallPrime( 2146437121,  293186449, 2009822534 ),
            new FalconSmallPrime( 2146430977,  179034356, 1359155584 ),
            new FalconSmallPrime( 2146418689, 1517345488, 1790248672 ),
            new FalconSmallPrime( 2146406401, 1615820390, 1584833571 ),
            new FalconSmallPrime( 2146404353,  826651445,  607120498 ),
            new FalconSmallPrime( 2146379777,    3816988, 1897049071 ),
            new FalconSmallPrime( 2146363393, 1221409784, 1986921567 ),
            new FalconSmallPrime( 2146355201, 1388081168,  849968120 ),
            new FalconSmallPrime( 2146336769, 1803473237, 1655544036 ),
            new FalconSmallPrime( 2146312193, 1023484977,  273671831 ),
            new FalconSmallPrime( 2146293761, 1074591448,  467406983 ),
            new FalconSmallPrime( 2146283521,  831604668, 1523950494 ),
            new FalconSmallPrime( 2146203649,  712865423, 1170834574 ),
            new FalconSmallPrime( 2146154497, 1764991362, 1064856763 ),
            new FalconSmallPrime( 2146142209,  627386213, 1406840151 ),
            new FalconSmallPrime( 2146127873, 1638674429, 2088393537 ),
            new FalconSmallPrime( 2146099201, 1516001018,  690673370 ),
            new FalconSmallPrime( 2146093057, 1294931393,  315136610 ),
            new FalconSmallPrime( 2146091009, 1942399533,  973539425 ),
            new FalconSmallPrime( 2146078721, 1843461814, 2132275436 ),
            new FalconSmallPrime( 2146060289, 1098740778,  360423481 ),
            new FalconSmallPrime( 2146048001, 1617213232, 1951981294 ),
            new FalconSmallPrime( 2146041857, 1805783169, 2075683489 ),
            new FalconSmallPrime( 2146019329,  272027909, 1753219918 ),
            new FalconSmallPrime( 2145986561, 1206530344, 2034028118 ),
            new FalconSmallPrime( 2145976321, 1243769360, 1173377644 ),
            new FalconSmallPrime( 2145964033,  887200839, 1281344586 ),
            new FalconSmallPrime( 2145906689, 1651026455,  906178216 ),
            new FalconSmallPrime( 2145875969, 1673238256, 1043521212 ),
            new FalconSmallPrime( 2145871873, 1226591210, 1399796492 ),
            new FalconSmallPrime( 2145841153, 1465353397, 1324527802 ),
            new FalconSmallPrime( 2145832961, 1150638905,  554084759 ),
            new FalconSmallPrime( 2145816577,  221601706,  427340863 ),
            new FalconSmallPrime( 2145785857,  608896761,  316590738 ),
            new FalconSmallPrime( 2145755137, 1712054942, 1684294304 ),
            new FalconSmallPrime( 2145742849, 1302302867,  724873116 ),
            new FalconSmallPrime( 2145728513,  516717693,  431671476 ),
            new FalconSmallPrime( 2145699841,  524575579, 1619722537 ),
            new FalconSmallPrime( 2145691649, 1925625239,  982974435 ),
            new FalconSmallPrime( 2145687553,  463795662, 1293154300 ),
            new FalconSmallPrime( 2145673217,  771716636,  881778029 ),
            new FalconSmallPrime( 2145630209, 1509556977,  837364988 ),
            new FalconSmallPrime( 2145595393,  229091856,  851648427 ),
            new FalconSmallPrime( 2145587201, 1796903241,  635342424 ),
            new FalconSmallPrime( 2145525761,  715310882, 1677228081 ),
            new FalconSmallPrime( 2145495041, 1040930522,  200685896 ),
            new FalconSmallPrime( 2145466369,  949804237, 1809146322 ),
            new FalconSmallPrime( 2145445889, 1673903706,   95316881 ),
            new FalconSmallPrime( 2145390593,  806941852, 1428671135 ),
            new FalconSmallPrime( 2145372161, 1402525292,  159350694 ),
            new FalconSmallPrime( 2145361921, 2124760298, 1589134749 ),
            new FalconSmallPrime( 2145359873, 1217503067, 1561543010 ),
            new FalconSmallPrime( 2145355777,  338341402,   83865711 ),
            new FalconSmallPrime( 2145343489, 1381532164,  641430002 ),
            new FalconSmallPrime( 2145325057, 1883895478, 1528469895 ),
            new FalconSmallPrime( 2145318913, 1335370424,   65809740 ),
            new FalconSmallPrime( 2145312769, 2000008042, 1919775760 ),
            new FalconSmallPrime( 2145300481,  961450962, 1229540578 ),
            new FalconSmallPrime( 2145282049,  910466767, 1964062701 ),
            new FalconSmallPrime( 2145232897,  816527501,  450152063 ),
            new FalconSmallPrime( 2145218561, 1435128058, 1794509700 ),
            new FalconSmallPrime( 2145187841,   33505311, 1272467582 ),
            new FalconSmallPrime( 2145181697,  269767433, 1380363849 ),
            new FalconSmallPrime( 2145175553,   56386299, 1316870546 ),
            new FalconSmallPrime( 2145079297, 2106880293, 1391797340 ),
            new FalconSmallPrime( 2145021953, 1347906152,  720510798 ),
            new FalconSmallPrime( 2145015809,  206769262, 1651459955 ),
            new FalconSmallPrime( 2145003521, 1885513236, 1393381284 ),
            new FalconSmallPrime( 2144960513, 1810381315,   31937275 ),
            new FalconSmallPrime( 2144944129, 1306487838, 2019419520 ),
            new FalconSmallPrime( 2144935937,   37304730, 1841489054 ),
            new FalconSmallPrime( 2144894977, 1601434616,  157985831 ),
            new FalconSmallPrime( 2144888833,   98749330, 2128592228 ),
            new FalconSmallPrime( 2144880641, 1772327002, 2076128344 ),
            new FalconSmallPrime( 2144864257, 1404514762, 2029969964 ),
            new FalconSmallPrime( 2144827393,  801236594,  406627220 ),
            new FalconSmallPrime( 2144806913,  349217443, 1501080290 ),
            new FalconSmallPrime( 2144796673, 1542656776, 2084736519 ),
            new FalconSmallPrime( 2144778241, 1210734884, 1746416203 ),
            new FalconSmallPrime( 2144759809, 1146598851,  716464489 ),
            new FalconSmallPrime( 2144757761,  286328400, 1823728177 ),
            new FalconSmallPrime( 2144729089, 1347555695, 1836644881 ),
            new FalconSmallPrime( 2144727041, 1795703790,  520296412 ),
            new FalconSmallPrime( 2144696321, 1302475157,  852964281 ),
            new FalconSmallPrime( 2144667649, 1075877614,  504992927 ),
            new FalconSmallPrime( 2144573441,  198765808, 1617144982 ),
            new FalconSmallPrime( 2144555009,  321528767,  155821259 ),
            new FalconSmallPrime( 2144550913,  814139516, 1819937644 ),
            new FalconSmallPrime( 2144536577,  571143206,  962942255 ),
            new FalconSmallPrime( 2144524289, 1746733766,    2471321 ),
            new FalconSmallPrime( 2144512001, 1821415077,  124190939 ),
            new FalconSmallPrime( 2144468993,  917871546, 1260072806 ),
            new FalconSmallPrime( 2144458753,  378417981, 1569240563 ),
            new FalconSmallPrime( 2144421889,  175229668, 1825620763 ),
            new FalconSmallPrime( 2144409601, 1699216963,  351648117 ),
            new FalconSmallPrime( 2144370689, 1071885991,  958186029 ),
            new FalconSmallPrime( 2144348161, 1763151227,  540353574 ),
            new FalconSmallPrime( 2144335873, 1060214804,  919598847 ),
            new FalconSmallPrime( 2144329729,  663515846, 1448552668 ),
            new FalconSmallPrime( 2144327681, 1057776305,  590222840 ),
            new FalconSmallPrime( 2144309249, 1705149168, 1459294624 ),
            new FalconSmallPrime( 2144296961,  325823721, 1649016934 ),
            new FalconSmallPrime( 2144290817,  738775789,  447427206 ),
            new FalconSmallPrime( 2144243713,  962347618,  893050215 ),
            new FalconSmallPrime( 2144237569, 1655257077,  900860862 ),
            new FalconSmallPrime( 2144161793,  242206694, 1567868672 ),
            new FalconSmallPrime( 2144155649,  769415308, 1247993134 ),
            new FalconSmallPrime( 2144137217,  320492023,  515841070 ),
            new FalconSmallPrime( 2144120833, 1639388522,  770877302 ),
            new FalconSmallPrime( 2144071681, 1761785233,  964296120 ),
            new FalconSmallPrime( 2144065537,  419817825,  204564472 ),
            new FalconSmallPrime( 2144028673,  666050597, 2091019760 ),
            new FalconSmallPrime( 2144010241, 1413657615, 1518702610 ),
            new FalconSmallPrime( 2143952897, 1238327946,  475672271 ),
            new FalconSmallPrime( 2143940609,  307063413, 1176750846 ),
            new FalconSmallPrime( 2143918081, 2062905559,  786785803 ),
            new FalconSmallPrime( 2143899649, 1338112849, 1562292083 ),
            new FalconSmallPrime( 2143891457,   68149545,   87166451 ),
            new FalconSmallPrime( 2143885313,  921750778,  394460854 ),
            new FalconSmallPrime( 2143854593,  719766593,  133877196 ),
            new FalconSmallPrime( 2143836161, 1149399850, 1861591875 ),
            new FalconSmallPrime( 2143762433, 1848739366, 1335934145 ),
            new FalconSmallPrime( 2143756289, 1326674710,  102999236 ),
            new FalconSmallPrime( 2143713281,  808061791, 1156900308 ),
            new FalconSmallPrime( 2143690753,  388399459, 1926468019 ),
            new FalconSmallPrime( 2143670273, 1427891374, 1756689401 ),
            new FalconSmallPrime( 2143666177, 1912173949,  986629565 ),
            new FalconSmallPrime( 2143645697, 2041160111,  371842865 ),
            new FalconSmallPrime( 2143641601, 1279906897, 2023974350 ),
            new FalconSmallPrime( 2143635457,  720473174, 1389027526 ),
            new FalconSmallPrime( 2143621121, 1298309455, 1732632006 ),
            new FalconSmallPrime( 2143598593, 1548762216, 1825417506 ),
            new FalconSmallPrime( 2143567873,  620475784, 1073787233 ),
            new FalconSmallPrime( 2143561729, 1932954575,  949167309 ),
            new FalconSmallPrime( 2143553537,  354315656, 1652037534 ),
            new FalconSmallPrime( 2143541249,  577424288, 1097027618 ),
            new FalconSmallPrime( 2143531009,  357862822,  478640055 ),
            new FalconSmallPrime( 2143522817, 2017706025, 1550531668 ),
            new FalconSmallPrime( 2143506433, 2078127419, 1824320165 ),
            new FalconSmallPrime( 2143488001,  613475285, 1604011510 ),
            new FalconSmallPrime( 2143469569, 1466594987,  502095196 ),
            new FalconSmallPrime( 2143426561, 1115430331, 1044637111 ),
            new FalconSmallPrime( 2143383553,    9778045, 1902463734 ),
            new FalconSmallPrime( 2143377409, 1557401276, 2056861771 ),
            new FalconSmallPrime( 2143363073,  652036455, 1965915971 ),
            new FalconSmallPrime( 2143260673, 1464581171, 1523257541 ),
            new FalconSmallPrime( 2143246337, 1876119649,  764541916 ),
            new FalconSmallPrime( 2143209473, 1614992673, 1920672844 ),
            new FalconSmallPrime( 2143203329,  981052047, 2049774209 ),
            new FalconSmallPrime( 2143160321, 1847355533,  728535665 ),
            new FalconSmallPrime( 2143129601,  965558457,  603052992 ),
            new FalconSmallPrime( 2143123457, 2140817191,    8348679 ),
            new FalconSmallPrime( 2143100929, 1547263683,  694209023 ),
            new FalconSmallPrime( 2143092737,  643459066, 1979934533 ),
            new FalconSmallPrime( 2143082497,  188603778, 2026175670 ),
            new FalconSmallPrime( 2143062017, 1657329695,  377451099 ),
            new FalconSmallPrime( 2143051777,  114967950,  979255473 ),
            new FalconSmallPrime( 2143025153, 1698431342, 1449196896 ),
            new FalconSmallPrime( 2143006721, 1862741675, 1739650365 ),
            new FalconSmallPrime( 2142996481,  756660457,  996160050 ),
            new FalconSmallPrime( 2142976001,  927864010, 1166847574 ),
            new FalconSmallPrime( 2142965761,  905070557,  661974566 ),
            new FalconSmallPrime( 2142916609,   40932754, 1787161127 ),
            new FalconSmallPrime( 2142892033, 1987985648,  675335382 ),
            new FalconSmallPrime( 2142885889,  797497211, 1323096997 ),
            new FalconSmallPrime( 2142871553, 2068025830, 1411877159 ),
            new FalconSmallPrime( 2142861313, 1217177090, 1438410687 ),
            new FalconSmallPrime( 2142830593,  409906375, 1767860634 ),
            new FalconSmallPrime( 2142803969, 1197788993,  359782919 ),
            new FalconSmallPrime( 2142785537,  643817365,  513932862 ),
            new FalconSmallPrime( 2142779393, 1717046338,  218943121 ),
            new FalconSmallPrime( 2142724097,   89336830,  416687049 ),
            new FalconSmallPrime( 2142707713,    5944581, 1356813523 ),
            new FalconSmallPrime( 2142658561,  887942135, 2074011722 ),
            new FalconSmallPrime( 2142638081,  151851972, 1647339939 ),
            new FalconSmallPrime( 2142564353, 1691505537, 1483107336 ),
            new FalconSmallPrime( 2142533633, 1989920200, 1135938817 ),
            new FalconSmallPrime( 2142529537,  959263126, 1531961857 ),
            new FalconSmallPrime( 2142527489,  453251129, 1725566162 ),
            new FalconSmallPrime( 2142502913, 1536028102,  182053257 ),
            new FalconSmallPrime( 2142498817,  570138730,  701443447 ),
            new FalconSmallPrime( 2142416897,  326965800,  411931819 ),
            new FalconSmallPrime( 2142363649, 1675665410, 1517191733 ),
            new FalconSmallPrime( 2142351361,  968529566, 1575712703 ),
            new FalconSmallPrime( 2142330881, 1384953238, 1769087884 ),
            new FalconSmallPrime( 2142314497, 1977173242, 1833745524 ),
            new FalconSmallPrime( 2142289921,   95082313, 1714775493 ),
            new FalconSmallPrime( 2142283777,  109377615, 1070584533 ),
            new FalconSmallPrime( 2142277633,   16960510,  702157145 ),
            new FalconSmallPrime( 2142263297,  553850819,  431364395 ),
            new FalconSmallPrime( 2142208001,  241466367, 2053967982 ),
            new FalconSmallPrime( 2142164993, 1795661326, 1031836848 ),
            new FalconSmallPrime( 2142097409, 1212530046,  712772031 ),
            new FalconSmallPrime( 2142087169, 1763869720,  822276067 ),
            new FalconSmallPrime( 2142078977,  644065713, 1765268066 ),
            new FalconSmallPrime( 2142074881,  112671944,  643204925 ),
            new FalconSmallPrime( 2142044161, 1387785471, 1297890174 ),
            new FalconSmallPrime( 2142025729,  783885537, 1000425730 ),
            new FalconSmallPrime( 2142011393,  905662232, 1679401033 ),
            new FalconSmallPrime( 2141974529,  799788433,  468119557 ),
            new FalconSmallPrime( 2141943809, 1932544124,  449305555 ),
            new FalconSmallPrime( 2141933569, 1527403256,  841867925 ),
            new FalconSmallPrime( 2141931521, 1247076451,  743823916 ),
            new FalconSmallPrime( 2141902849, 1199660531,  401687910 ),
            new FalconSmallPrime( 2141890561,  150132350, 1720336972 ),
            new FalconSmallPrime( 2141857793, 1287438162,  663880489 ),
            new FalconSmallPrime( 2141833217,  618017731, 1819208266 ),
            new FalconSmallPrime( 2141820929,  999578638, 1403090096 ),
            new FalconSmallPrime( 2141786113,   81834325, 1523542501 ),
            new FalconSmallPrime( 2141771777,  120001928,  463556492 ),
            new FalconSmallPrime( 2141759489,  122455485, 2124928282 ),
            new FalconSmallPrime( 2141749249,  141986041,  940339153 ),
            new FalconSmallPrime( 2141685761,  889088734,  477141499 ),
            new FalconSmallPrime( 2141673473,  324212681, 1122558298 ),
            new FalconSmallPrime( 2141669377, 1175806187, 1373818177 ),
            new FalconSmallPrime( 2141655041, 1113654822,  296887082 ),
            new FalconSmallPrime( 2141587457,  991103258, 1585913875 ),
            new FalconSmallPrime( 2141583361, 1401451409, 1802457360 ),
            new FalconSmallPrime( 2141575169, 1571977166,  712760980 ),
            new FalconSmallPrime( 2141546497, 1107849376, 1250270109 ),
            new FalconSmallPrime( 2141515777,  196544219,  356001130 ),
            new FalconSmallPrime( 2141495297, 1733571506, 1060744866 ),
            new FalconSmallPrime( 2141483009,  321552363, 1168297026 ),
            new FalconSmallPrime( 2141458433,  505818251,  733225819 ),
            new FalconSmallPrime( 2141360129, 1026840098,  948342276 ),
            new FalconSmallPrime( 2141325313,  945133744, 2129965998 ),
            new FalconSmallPrime( 2141317121, 1871100260, 1843844634 ),
            new FalconSmallPrime( 2141286401, 1790639498, 1750465696 ),
            new FalconSmallPrime( 2141267969, 1376858592,  186160720 ),
            new FalconSmallPrime( 2141255681, 2129698296, 1876677959 ),
            new FalconSmallPrime( 2141243393, 2138900688, 1340009628 ),
            new FalconSmallPrime( 2141214721, 1933049835, 1087819477 ),
            new FalconSmallPrime( 2141212673, 1898664939, 1786328049 ),
            new FalconSmallPrime( 2141202433,  990234828,  940682169 ),
            new FalconSmallPrime( 2141175809, 1406392421,  993089586 ),
            new FalconSmallPrime( 2141165569, 1263518371,  289019479 ),
            new FalconSmallPrime( 2141073409, 1485624211,  507864514 ),
            new FalconSmallPrime( 2141052929, 1885134788,  311252465 ),
            new FalconSmallPrime( 2141040641, 1285021247,  280941862 ),
            new FalconSmallPrime( 2141028353, 1527610374,  375035110 ),
            new FalconSmallPrime( 2141011969, 1400626168,  164696620 ),
            new FalconSmallPrime( 2140999681,  632959608,  966175067 ),
            new FalconSmallPrime( 2140997633, 2045628978, 1290889438 ),
            new FalconSmallPrime( 2140993537, 1412755491,  375366253 ),
            new FalconSmallPrime( 2140942337,  719477232,  785367828 ),
            new FalconSmallPrime( 2140925953,   45224252,  836552317 ),
            new FalconSmallPrime( 2140917761, 1157376588, 1001839569 ),
            new FalconSmallPrime( 2140887041,  278480752, 2098732796 ),
            new FalconSmallPrime( 2140837889, 1663139953,  924094810 ),
            new FalconSmallPrime( 2140788737,  802501511, 2045368990 ),
            new FalconSmallPrime( 2140766209, 1820083885, 1800295504 ),
            new FalconSmallPrime( 2140764161, 1169561905, 2106792035 ),
            new FalconSmallPrime( 2140696577,  127781498, 1885987531 ),
            new FalconSmallPrime( 2140684289,   16014477, 1098116827 ),
            new FalconSmallPrime( 2140653569,  665960598, 1796728247 ),
            new FalconSmallPrime( 2140594177, 1043085491,  377310938 ),
            new FalconSmallPrime( 2140579841, 1732838211, 1504505945 ),
            new FalconSmallPrime( 2140569601,  302071939,  358291016 ),
            new FalconSmallPrime( 2140567553,  192393733, 1909137143 ),
            new FalconSmallPrime( 2140557313,  406595731, 1175330270 ),
            new FalconSmallPrime( 2140549121, 1748850918,  525007007 ),
            new FalconSmallPrime( 2140477441,  499436566, 1031159814 ),
            new FalconSmallPrime( 2140469249, 1886004401, 1029951320 ),
            new FalconSmallPrime( 2140426241, 1483168100, 1676273461 ),
            new FalconSmallPrime( 2140420097, 1779917297,  846024476 ),
            new FalconSmallPrime( 2140413953,  522948893, 1816354149 ),
            new FalconSmallPrime( 2140383233, 1931364473, 1296921241 ),
            new FalconSmallPrime( 2140366849, 1917356555,  147196204 ),
            new FalconSmallPrime( 2140354561,   16466177, 1349052107 ),
            new FalconSmallPrime( 2140348417, 1875366972, 1860485634 ),
            new FalconSmallPrime( 2140323841,  456498717, 1790256483 ),
            new FalconSmallPrime( 2140321793, 1629493973,  150031888 ),
            new FalconSmallPrime( 2140315649, 1904063898,  395510935 ),
            new FalconSmallPrime( 2140280833, 1784104328,  831417909 ),
            new FalconSmallPrime( 2140250113,  256087139,  697349101 ),
            new FalconSmallPrime( 2140229633,  388553070,  243875754 ),
            new FalconSmallPrime( 2140223489,  747459608, 1396270850 ),
            new FalconSmallPrime( 2140200961,  507423743, 1895572209 ),
            new FalconSmallPrime( 2140162049,  580106016, 2045297469 ),
            new FalconSmallPrime( 2140149761,  712426444,  785217995 ),
            new FalconSmallPrime( 2140137473, 1441607584,  536866543 ),
            new FalconSmallPrime( 2140119041,  346538902, 1740434653 ),
            new FalconSmallPrime( 2140090369,  282642885,   21051094 ),
            new FalconSmallPrime( 2140076033, 1407456228,  319910029 ),
            new FalconSmallPrime( 2140047361, 1619330500, 1488632070 ),
            new FalconSmallPrime( 2140041217, 2089408064, 2012026134 ),
            new FalconSmallPrime( 2140008449, 1705524800, 1613440760 ),
            new FalconSmallPrime( 2139924481, 1846208233, 1280649481 ),
            new FalconSmallPrime( 2139906049,  989438755, 1185646076 ),
            new FalconSmallPrime( 2139867137, 1522314850,  372783595 ),
            new FalconSmallPrime( 2139842561, 1681587377,  216848235 ),
            new FalconSmallPrime( 2139826177, 2066284988, 1784999464 ),
            new FalconSmallPrime( 2139824129,  480888214, 1513323027 ),
            new FalconSmallPrime( 2139789313,  847937200,  858192859 ),
            new FalconSmallPrime( 2139783169, 1642000434, 1583261448 ),
            new FalconSmallPrime( 2139770881,  940699589,  179702100 ),
            new FalconSmallPrime( 2139768833,  315623242,  964612676 ),
            new FalconSmallPrime( 2139666433,  331649203,  764666914 ),
            new FalconSmallPrime( 2139641857, 2118730799, 1313764644 ),
            new FalconSmallPrime( 2139635713,  519149027,  519212449 ),
            new FalconSmallPrime( 2139598849, 1526413634, 1769667104 ),
            new FalconSmallPrime( 2139574273,  551148610,  820739925 ),
            new FalconSmallPrime( 2139568129, 1386800242,  472447405 ),
            new FalconSmallPrime( 2139549697,  813760130, 1412328531 ),
            new FalconSmallPrime( 2139537409, 1615286260, 1609362979 ),
            new FalconSmallPrime( 2139475969, 1352559299, 1696720421 ),
            new FalconSmallPrime( 2139455489, 1048691649, 1584935400 ),
            new FalconSmallPrime( 2139432961,  836025845,  950121150 ),
            new FalconSmallPrime( 2139424769, 1558281165, 1635486858 ),
            new FalconSmallPrime( 2139406337, 1728402143, 1674423301 ),
            new FalconSmallPrime( 2139396097, 1727715782, 1483470544 ),
            new FalconSmallPrime( 2139383809, 1092853491, 1741699084 ),
            new FalconSmallPrime( 2139369473,  690776899, 1242798709 ),
            new FalconSmallPrime( 2139351041, 1768782380, 2120712049 ),
            new FalconSmallPrime( 2139334657, 1739968247, 1427249225 ),
            new FalconSmallPrime( 2139332609, 1547189119,  623011170 ),
            new FalconSmallPrime( 2139310081, 1346827917, 1605466350 ),
            new FalconSmallPrime( 2139303937,  369317948,  828392831 ),
            new FalconSmallPrime( 2139301889, 1560417239, 1788073219 ),
            new FalconSmallPrime( 2139283457, 1303121623,  595079358 ),
            new FalconSmallPrime( 2139248641, 1354555286,  573424177 ),
            new FalconSmallPrime( 2139240449,   60974056,  885781403 ),
            new FalconSmallPrime( 2139222017,  355573421, 1221054839 ),
            new FalconSmallPrime( 2139215873,  566477826, 1724006500 ),
            new FalconSmallPrime( 2139150337,  871437673, 1609133294 ),
            new FalconSmallPrime( 2139144193, 1478130914, 1137491905 ),
            new FalconSmallPrime( 2139117569, 1854880922,  964728507 ),
            new FalconSmallPrime( 2139076609,  202405335,  756508944 ),
            new FalconSmallPrime( 2139062273, 1399715741,  884826059 ),
            new FalconSmallPrime( 2139045889, 1051045798, 1202295476 ),
            new FalconSmallPrime( 2139033601, 1707715206,  632234634 ),
            new FalconSmallPrime( 2139006977, 2035853139,  231626690 ),
            new FalconSmallPrime( 2138951681,  183867876,  838350879 ),
            new FalconSmallPrime( 2138945537, 1403254661,  404460202 ),
            new FalconSmallPrime( 2138920961,  310865011, 1282911681 ),
            new FalconSmallPrime( 2138910721, 1328496553,  103472415 ),
            new FalconSmallPrime( 2138904577,   78831681,  993513549 ),
            new FalconSmallPrime( 2138902529, 1319697451, 1055904361 ),
            new FalconSmallPrime( 2138816513,  384338872, 1706202469 ),
            new FalconSmallPrime( 2138810369, 1084868275,  405677177 ),
            new FalconSmallPrime( 2138787841,  401181788, 1964773901 ),
            new FalconSmallPrime( 2138775553, 1850532988, 1247087473 ),
            new FalconSmallPrime( 2138767361,  874261901, 1576073565 ),
            new FalconSmallPrime( 2138757121, 1187474742,  993541415 ),
            new FalconSmallPrime( 2138748929, 1782458888, 1043206483 ),
            new FalconSmallPrime( 2138744833, 1221500487,  800141243 ),
            new FalconSmallPrime( 2138738689,  413465368, 1450660558 ),
            new FalconSmallPrime( 2138695681,  739045140,  342611472 ),
            new FalconSmallPrime( 2138658817, 1355845756,  672674190 ),
            new FalconSmallPrime( 2138644481,  608379162, 1538874380 ),
            new FalconSmallPrime( 2138632193, 1444914034,  686911254 ),
            new FalconSmallPrime( 2138607617,  484707818, 1435142134 ),
            new FalconSmallPrime( 2138591233,  539460669, 1290458549 ),
            new FalconSmallPrime( 2138572801, 2093538990, 2011138646 ),
            new FalconSmallPrime( 2138552321, 1149786988, 1076414907 ),
            new FalconSmallPrime( 2138546177,  840688206, 2108985273 ),
            new FalconSmallPrime( 2138533889,  209669619,  198172413 ),
            new FalconSmallPrime( 2138523649, 1975879426, 1277003968 ),
            new FalconSmallPrime( 2138490881, 1351891144, 1976858109 ),
            new FalconSmallPrime( 2138460161, 1817321013, 1979278293 ),
            new FalconSmallPrime( 2138429441, 1950077177,  203441928 ),
            new FalconSmallPrime( 2138400769,  908970113,  628395069 ),
            new FalconSmallPrime( 2138398721,  219890864,  758486760 ),
            new FalconSmallPrime( 2138376193, 1306654379,  977554090 ),
            new FalconSmallPrime( 2138351617,  298822498, 2004708503 ),
            new FalconSmallPrime( 2138337281,  441457816, 1049002108 ),
            new FalconSmallPrime( 2138320897, 1517731724, 1442269609 ),
            new FalconSmallPrime( 2138290177, 1355911197, 1647139103 ),
            new FalconSmallPrime( 2138234881,  531313247, 1746591962 ),
            new FalconSmallPrime( 2138214401, 1899410930,  781416444 ),
            new FalconSmallPrime( 2138202113, 1813477173, 1622508515 ),
            new FalconSmallPrime( 2138191873, 1086458299, 1025408615 ),
            new FalconSmallPrime( 2138183681, 1998800427,  827063290 ),
            new FalconSmallPrime( 2138173441, 1921308898,  749670117 ),
            new FalconSmallPrime( 2138103809, 1620902804, 2126787647 ),
            new FalconSmallPrime( 2138099713,  828647069, 1892961817 ),
            new FalconSmallPrime( 2138085377,  179405355, 1525506535 ),
            new FalconSmallPrime( 2138060801,  615683235, 1259580138 ),
            new FalconSmallPrime( 2138044417, 2030277840, 1731266562 ),
            new FalconSmallPrime( 2138042369, 2087222316, 1627902259 ),
            new FalconSmallPrime( 2138032129,  126388712, 1108640984 ),
            new FalconSmallPrime( 2138011649,  715026550, 1017980050 ),
            new FalconSmallPrime( 2137993217, 1693714349, 1351778704 ),
            new FalconSmallPrime( 2137888769, 1289762259, 1053090405 ),
            new FalconSmallPrime( 2137853953,  199991890, 1254192789 ),
            new FalconSmallPrime( 2137833473,  941421685,  896995556 ),
            new FalconSmallPrime( 2137817089,  750416446, 1251031181 ),
            new FalconSmallPrime( 2137792513,  798075119,  368077456 ),
            new FalconSmallPrime( 2137786369,  878543495, 1035375025 ),
            new FalconSmallPrime( 2137767937,    9351178, 1156563902 ),
            new FalconSmallPrime( 2137755649, 1382297614, 1686559583 ),
            new FalconSmallPrime( 2137724929, 1345472850, 1681096331 ),
            new FalconSmallPrime( 2137704449,  834666929,  630551727 ),
            new FalconSmallPrime( 2137673729, 1646165729, 1892091571 ),
            new FalconSmallPrime( 2137620481,  778943821,   48456461 ),
            new FalconSmallPrime( 2137618433, 1730837875, 1713336725 ),
            new FalconSmallPrime( 2137581569,  805610339, 1378891359 ),
            new FalconSmallPrime( 2137538561,  204342388, 1950165220 ),
            new FalconSmallPrime( 2137526273, 1947629754, 1500789441 ),
            new FalconSmallPrime( 2137516033,  719902645, 1499525372 ),
            new FalconSmallPrime( 2137491457,  230451261,  556382829 ),
            new FalconSmallPrime( 2137440257,  979573541,  412760291 ),
            new FalconSmallPrime( 2137374721,  927841248, 1954137185 ),
            new FalconSmallPrime( 2137362433, 1243778559,  861024672 ),
            new FalconSmallPrime( 2137313281, 1341338501,  980638386 ),
            new FalconSmallPrime( 2137311233,  937415182, 1793212117 ),
            new FalconSmallPrime( 2137255937,  795331324, 1410253405 ),
            new FalconSmallPrime( 2137243649,  150756339, 1966999887 ),
            new FalconSmallPrime( 2137182209,  163346914, 1939301431 ),
            new FalconSmallPrime( 2137171969, 1952552395,  758913141 ),
            new FalconSmallPrime( 2137159681,  570788721,  218668666 ),
            new FalconSmallPrime( 2137147393, 1896656810, 2045670345 ),
            new FalconSmallPrime( 2137141249,  358493842,  518199643 ),
            new FalconSmallPrime( 2137139201, 1505023029,  674695848 ),
            new FalconSmallPrime( 2137133057,   27911103,  830956306 ),
            new FalconSmallPrime( 2137122817,  439771337, 1555268614 ),
            new FalconSmallPrime( 2137116673,  790988579, 1871449599 ),
            new FalconSmallPrime( 2137110529,  432109234,  811805080 ),
            new FalconSmallPrime( 2137102337, 1357900653, 1184997641 ),
            new FalconSmallPrime( 2137098241,  515119035, 1715693095 ),
            new FalconSmallPrime( 2137090049,  408575203, 2085660657 ),
            new FalconSmallPrime( 2137085953, 2097793407, 1349626963 ),
            new FalconSmallPrime( 2137055233, 1556739954, 1449960883 ),
            new FalconSmallPrime( 2137030657, 1545758650, 1369303716 ),
            new FalconSmallPrime( 2136987649,  332602570,  103875114 ),
            new FalconSmallPrime( 2136969217, 1499989506, 1662964115 ),
            new FalconSmallPrime( 2136924161,  857040753,    4738842 ),
            new FalconSmallPrime( 2136895489, 1948872712,  570436091 ),
            new FalconSmallPrime( 2136893441,   58969960, 1568349634 ),
            new FalconSmallPrime( 2136887297, 2127193379,  273612548 ),
            new FalconSmallPrime( 2136850433,  111208983, 1181257116 ),
            new FalconSmallPrime( 2136809473, 1627275942, 1680317971 ),
            new FalconSmallPrime( 2136764417, 1574888217,   14011331 ),
            new FalconSmallPrime( 2136741889,   14011055, 1129154251 ),
            new FalconSmallPrime( 2136727553,   35862563, 1838555253 ),
            new FalconSmallPrime( 2136721409,  310235666, 1363928244 ),
            new FalconSmallPrime( 2136698881, 1612429202, 1560383828 ),
            new FalconSmallPrime( 2136649729, 1138540131,  800014364 ),
            new FalconSmallPrime( 2136606721,  602323503, 1433096652 ),
            new FalconSmallPrime( 2136563713,  182209265, 1919611038 ),
            new FalconSmallPrime( 2136555521,  324156477,  165591039 ),
            new FalconSmallPrime( 2136549377,  195513113,  217165345 ),
            new FalconSmallPrime( 2136526849, 1050768046,  939647887 ),
            new FalconSmallPrime( 2136508417, 1886286237, 1619926572 ),
            new FalconSmallPrime( 2136477697,  609647664,   35065157 ),
            new FalconSmallPrime( 2136471553,  679352216, 1452259468 ),
            new FalconSmallPrime( 2136457217,  128630031,  824816521 ),
            new FalconSmallPrime( 2136422401,   19787464, 1526049830 ),
            new FalconSmallPrime( 2136420353,  698316836, 1530623527 ),
            new FalconSmallPrime( 2136371201, 1651862373, 1804812805 ),
            new FalconSmallPrime( 2136334337,  326596005,  336977082 ),
            new FalconSmallPrime( 2136322049,   63253370, 1904972151 ),
            new FalconSmallPrime( 2136297473,  312176076,  172182411 ),
            new FalconSmallPrime( 2136248321,  381261841,  369032670 ),
            new FalconSmallPrime( 2136242177,  358688773, 1640007994 ),
            new FalconSmallPrime( 2136229889,  512677188,   75585225 ),
            new FalconSmallPrime( 2136219649, 2095003250, 1970086149 ),
            new FalconSmallPrime( 2136207361, 1909650722,  537760675 ),
            new FalconSmallPrime( 2136176641, 1334616195, 1533487619 ),
            new FalconSmallPrime( 2136158209, 2096285632, 1793285210 ),
            new FalconSmallPrime( 2136143873, 1897347517,  293843959 ),
            new FalconSmallPrime( 2136133633,  923586222, 1022655978 ),
            new FalconSmallPrime( 2136096769, 1464868191, 1515074410 ),
            new FalconSmallPrime( 2136094721, 2020679520, 2061636104 ),
            new FalconSmallPrime( 2136076289,  290798503, 1814726809 ),
            new FalconSmallPrime( 2136041473,  156415894, 1250757633 ),
            new FalconSmallPrime( 2135996417,  297459940, 1132158924 ),
            new FalconSmallPrime( 2135955457,  538755304, 1688831340 ),
            new FalconSmallPrime( 0, 0, 0 )
            };
    }
}
